Designing Parallel Specifications in Ccs
نویسندگان
چکیده
We describe a style of specifying concurrent systems based upon the parallel composition operator of CCS and apply it to several asynchronous hardware examples.
منابع مشابه
Submodule Construction as Equation Solving in CCS
A method for solving CCS equations of type (AIX)\L ~ B, where X is unknown, is presented. The method is useful in a top-down design methodology: if a system (B) and some of its submodules (.4) axe specified, solving such an equation amounts to constructing the missing submodules. The method works by successively transforming equations into simpler equations, in parallel with generation of a sol...
متن کاملRewriting Approximations for Properties Verification over CCS Specifications
This paper presents a way to verify CCS (without renaming) specifications using tree regular model checking. From a term rewriting system and a tree automaton representing the semantics of CCS and equations of a CCS specification to analyse, an over-approximation of the set of reachable terms is computed from an initial configuration. This set, in the framework of CCS, represents an over-approx...
متن کاملTesting the Consequences of Specifications in the Modal -calculus
In a companion paper in these proceedings [6], we introduced the CCS notation and explained how to write specifications succinctly in CCS using the composition operator. In this paper we explain how one may associate a process logic with CCS and use it to resolve deadlock, safety, liveness, and fairness properties of specifications by static testing.
متن کاملOn Collaborative Compressive Sensing Systems: The Framework, Design and Algorithm
We propose a collaborative compressive sensing (CCS) framework consisting of a bank of K compressive sensing (CS) systems that share the same sensing matrix but have different sparsifying dictionaries. This CCS system is guaranteed to yield better performance than each individual CS system in a statistical sense, while with the parallel computing strategy, it requires the same time as that need...
متن کاملA Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems
Algebra transformation systems (ATS) are introduced as a common semantical framework in which speciications written in diier-ent languages can be interpreted and formally compared. An ATS is a two layered structure given by a transitions system modeling the behaviour of a system and a data level containing the associated data states and their transformations. This structure allows for the inter...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993